<nav class="navbar navbar-fixed-top">
	<div class="navbar-inner">
		<div class="container">
			#if($page == "state")
				<a class="brand" href="../index.html#graph">Crawl overview</a>
			#else
				<a class="brand" href="#">Crawl overview</a>
			#end
			<ul class="nav">
				#if($page == "state")
					<li class="active"><a href="#">State inspector</a></li>
				#else
					<li class="active"><a href="#graph" class="nav-link">State graph</a></li>
					<li><a href="#statistics" class="nav-link">Statistics</a></li>
					<li><a href="#urls" class="nav-link">URL's</a></li>
					<li><a href="#config" class="nav-link">Configuration</a></li>
				#end
			</ul>
			<div class="nav pull-right">
				<a href="#" class="btn graphBtn" id='pauseButton' data-toggle="tooltip" data-placement="bottom" title="Pause the graph movement"><i class="icon-pause"></i></a>
				<a href="#" class="btn graphBtn" rel="popover" data-placement="bottom"  data-original-title="What to do"><i class='icon-question-sign'></i></a>
				<div style="display: none" id='popup-content'>
					<p>You can double click a state to inspect it further.</p>
					<p>Clicking an edge gives more details on the state transition.</p>
					<p>Use your mouse to zoom in and out by scrolling, or drag the states and view around.</p>
				</div>
				<a href="result.json" class="btn" data-toggle="tooltip" data-placement="bottom" title="Download result as JSON"><i class='icon-download'></i></a>
			</div>
			<!--/.nav-collapse -->
		</div>
	</div>
</nav>